* doc/emacs/mini.texi (Repetition): Further copyedit.
authorGlenn Morris <rgm@gnu.org>
Wed, 17 Oct 2012 16:56:12 +0000 (12:56 -0400)
committerGlenn Morris <rgm@gnu.org>
Wed, 17 Oct 2012 16:56:12 +0000 (12:56 -0400)
commit23d173c3e49ed3bed5440abaecb3f3e36e67895f
tree1fe08bee212d81a0feb7e6cb556b3d8f6e29ab10
parent26dc2d22ae7723af8d5ed24d3ea461ef52ce84fa
* doc/emacs/mini.texi (Repetition): Further copyedit.
doc/emacs/ChangeLog
doc/emacs/mini.texi